<?
/**
 * 
 */
interface oInterfaceFsmState
{
    /**
     * @param mixed $element
     * @return oInterfaceFsmState
     */
    public function PushElement($element);
}
?>